Combining an Improvement to PARMA Trailing with Analysis in HAL
نویسنده
چکیده
Trailing of bindings in the PARMA variable representation is expensive in time and space. We present two schemes that lower its cost: the first is a technique that halves the space cost of trailing in PARMA. It can be used with both conditional and unconditional trailing. It is illustrated and evaluated in the context of dProlog and in the Mercury backend of HAL. The second scheme combines a variant of a previously developed trailing analysis with the first technique. Empirical evidence shows the usefulness of these schemes and that the combination is more effective than each scheme apart. Combining an improvement to PARMA trailing with analysis in HAL Tom Schrijvers and Bart Demoen
منابع مشابه
Improving PARMA trailing
Taylor introduced a variable binding scheme for logic variables in his PARMA system, that uses cycles of bindings rather than the linear chains of bindings used in the standard WAM representation. Both the HAL and dProlog languages make use of the PARMA representation in their Herbrand constraint solvers. Unfortunately, PARMA’s trailing scheme is considerably more expensive in both time and spa...
متن کاملTrailing Analysis for HAL
The HAL language includes a Herbrand constraint solver which uses Taylor’s PARMA scheme rather than the standard WAM representation. This allows HAL to generate more efficient Mercury code. Unfortunately, PARMA’s variable representation requires value trailing with a trail stack consumption about twice as large as for the WAM. We present a trailing analysis aimed at determining which Herbrand v...
متن کاملWave Motion and Stop-Bands in Pipes with Helical Characteristics Using Wave Finite Element Analysis
Pipes are widely used in many industrial and mechanical applications and devices. Although there are many different constructions according to the specific application and device, these can show helical pattern, such as spiral pipes, wire-reinforced pipes/shells, spring-suspension, and so on. Theoretical modelling of wave propagation provides a prediction about the dynamic behavior, and it is f...
متن کاملDiallel Analysis of Grain Yield and Some Important Agronomic Traits in Bread Wheat
Extended Abstract Introduction and Objective: Wheat is one of the most important crops in the world that plays a key role in ensuring food security. In wheat breeding programs, selection of genotypes with desirable agronomic traits and high yield potential have always been the goal of plant breeders. Increasing the selection efficiency for grain yield depends on genetic knowledge from morpholo...
متن کاملState of the Art in Simulating Future Changes in Ecosystem Services
Coordinating Lead Author: Peter Kareiva Lead Authors: John B. R. Agard, Jacqueline Alder, Elena Bennett, Colin Butler, Steve Carpenter, W. W. L. Cheung, Graeme S. Cumming, Ruth Defries, Bert de Vries, Robert E. Dickinson, Andrew Dobson, Jonathan A. Foley, Jacqueline Geoghegan, Beth Holland, Pavel Kabat, Juan Keymer, Axel Kleidon, David Lodge, Steven M. Manson, Jacquie McGlade, Hal Mooney, Ana M...
متن کامل